function cambiarColor(x)
{
   x.style.border="1px solid red";  
   x.style.backgroundColor="#FBEDDE";
}

function devolverColor(x)
{
   x.style.border="1px solid #CCCCCC";
   x.style.backgroundColor="#E7E1F9";

}

function cambiar(x)
{
   x.style.border="1px solid red";  
   x.style.color ="blue";
}



